The Free On-line Dictionary of Computing (30 December 2018):

closed term

    A term with no free variables.

   (1994-12-16)